Max - product fuzzy context - free grammars and pushdown automata 上下无关文法与下推自动机
11 xu j , yoshinaga t , inoue k et al . rm alternation for sublogarithmic space - bounded alternating pushdown automata 对于1墨水点图灵机,确定性语言族和非确定性语言族是不相等的。
10 xu j , inoue k , wang y , ito a . a note on alternating pushdown automata with sublogarithmic space . ieice trans 1墨水点图灵机是一个两方向图灵机,它能够用墨水点标志出输入带上的一个单元格。
A note on non - closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states 因为它们为计算机科学理论的研究提供了一个基本的思想和数学模型。
Abstract 1 - inkdot alternating pushdown automaton is a slightly modified alternating pushdown automaton with the additional power of marking at most 1 tape - cell on the input with an inkdot once 计算复杂性理论的一个重要概念是复杂性语言族complexity class ,它包括在给定的资源时间或空间下能够被识别的所有语言。
This paper investigates the closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states , and shows , for example , that for any function l such that l loglogn and l o , the class of sets accepted by weakly strongly l space - bounded 1 - inkdot two - way alternating pushdown automata with only existential universal states is not closed under concatenation with regular sets , length - preserving homomorphism , and kleene closure Chandra kozen和stockmeyer提出了交替性alternation作为并行计算的一个理论模型。交替式alternating图灵机是非确定性图灵机的推广,它的状态集合被分为万能状态universal state和存在状态existential state 。非确定性图灵机可看作只有存在状态的交替式图灵机。